23

Loop checks for logic programs with functions

Year:
2001
Language:
english
File:
PDF, 163 KB
english, 2001
27

A Study on the Kinematics of Hierarchical Triple Stars

Year:
2010
Language:
english
File:
PDF, 680 KB
english, 2010
28

Enhancing global SLS-resolution with loop cutting and tabling mechanisms

Year:
2004
Language:
english
File:
PDF, 266 KB
english, 2004
32

SLT-Resolution for the Well-Founded Semantics

Year:
2002
Language:
english
File:
PDF, 339 KB
english, 2002